Equations and Functions, Variables and Expressions Equations and functions are ubiquitous components of mathematical language. Success in mathematics beyond basic arithmetic depends on having a solid working knowledge of

Source URL: commoncoretools.me

Sum-product estimates for rational functions Boris Bukh MayA story of a romance between graphs and arithmetic

Source URL: www.borisbukh.org

Sage Reference Manual: Fixed and Arbitrary Precision Numerical Fields Release 6.7 The Sage Development Team

Source URL: doc.sagemath.org

• Computing
• Data types
• Analytic functions
• Exponentials
• Sage
• Arbitrary-precision arithmetic
• Floating point
• MPFR
• Rounding
• Mathematics
• Computer arithmetic
• Mathematical software

Multiplicative structure of integers, shifted primes and arithmetic functions Kevin Ford http://www.math.uiuc.edu/∼ford/erdos100.pdf University of Illinois at Urbana-Champaign

Source URL: www.math.uiuc.edu

Published in “Static Analysis Symposium”, SAS, 2004 Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions Sumit Gulwani and George C. Necula University of California, Berkeley

Source URL: www.cs.berkeley.edu

REDUCTION OF THE NUMBER OF COEFFICIENTS IN ARITHMETIC EXPRESSIONS BY AUTOCORRELATION FUNCTIONS Radomir S. Stankovi´c, Mark G. Karpovsky1 , Jaakko T. Astola2 Dept. of Computer Science, Faculty of Electronics, Beogradska

Source URL: ticsp.cs.tut.fi

BRICS Basic Research in Computer Science BRICS RSU. Kohlenbach: On the Uniform Weak K¨onig’s Lemma On the Uniform Weak K¨onig’s Lemma

Source URL: www.brics.dk

• Proof theory
• Computability theory
• Functions and mappings
• Reverse mathematics
• Mathematical proofs
• Primitive recursive function
• Gödel–Gentzen negative translation
• Primitive recursive arithmetic
• Second-order arithmetic
• Mathematics
• Mathematical logic
• Logic

Some Functions Computable with a Fused-mac Sylvie Boldo and Jean-Michel Muller Laboratoire LIP (CNRS/ENS Lyon/Inria/Univ. lyon 1), Projet Ar´enaire, 46 all´ee d’Italie, 69364 Lyon Cedex 07, F RANCE Sylvie.Boldo@ens-l

Source URL: perso.ens-lyon.fr

• Mathematics
• Rounding
• Floating point
• Unit in the last place
• Methods of computing square roots
• Division
• Multiply–accumulate operation
• Computer arithmetic
• Arithmetic
• Numbers

April 2011 • Volume 4 • Number 4 To Foster and Nurture Girls’ Interest in Mathematics An Interview with Erin Mullen Math in Your World: French Toast, Auctions, and Game Theory Cake Mix

Source URL: www.girlsangle.org

• Fraction
• Numbers
• Cake
• Trigonometric functions
• Summation
• Dimensional analysis
• Mathematics
• Division
• Elementary arithmetic

Bipartite graphs of approximate rank 1. W. T. Gowers §1. Introduction. Quasirandomness is a central concept in graph theory, and has played an important part in arithmetic combinatorics as well. Roughly speaking, a noti

Source URL: www.dpmms.cam.ac.uk

• Graph theory
• Szemerédi regularity lemma
• Inner product space
• Function
• Combinatory logic
• Mathematics
• Lemmas
• Functions and mappings